Descriptive complexity - PDFSEARCH.IO - Document Search Engine

Descriptive complexity
Results: 93

#	Item
81	The Role of Decidability in First Order Separations over Classes of Finite Structures Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:31 Mathematical logic Complexity classes Computational complexity theory FO Descriptive complexity Model theory SO Descriptive complexity theory P Theoretical computer science Finite model theory Mathematics
82	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics
83	The 1549 Book of Common Prayer, The source text for these PDF files was a true facsimile (probably the only one ever made) of the 1549 BCP privately Add to Reading List Source URL: justus.anglican.org Language: English - Date: 2007-03-20 15:56:37 Mathematics FO SO HO Finite model theory Computational complexity theory Descriptive complexity
84	Book review of Descriptive Complexity by Neil Immerman (Graduate texts in Computer Science, Springer, [removed]Appeared in the Bulletin of Symbolic Logic vol. 7 no. 4 December, 2001 pages[removed]Overview Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:06 Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory Descriptive complexity theory Mathematical logic P versus NP problem FO P Theoretical computer science Applied mathematics Complexity classes
85	Theoretical Elsevier Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2006-12-11 17:42:17 Model theory Descriptive complexity theory Finite model theory Compactness theorem Satisfiability First-order logic FO Interpretation P versus NP problem Logic Mathematical logic Mathematics
86	Martin Grohe Descriptive Complexity, Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-22 16:46:10 Tree decomposition Minor Robertson–Seymour theorem Linkless embedding Path decomposition Graph structure theorem Graph theory Graph operations Planar graphs
87	On the Unusual Effectiveness of Logic in Computer Science £ Joseph Y. HalpernÝ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:24:55 Computational complexity theory Descriptive complexity Relational model Complexity classes FO Descriptive complexity theory SO Relational database Relational algebra Theoretical computer science Applied mathematics Finite model theory
88	PDF Document Add to Reading List Source URL: www-mgi.informatik.rwth-aachen.de Language: English - Date: 2008-01-03 05:43:35 Finite model theory Universal algebra Complexity classes Descriptive complexity Structure FO NTIME Arity Second-order logic Theoretical computer science Computational complexity theory Mathematics
89	PDF Document Add to Reading List Source URL: www.logic.rwth-aachen.de Language: English - Date: 2007-04-25 06:19:51 Finite model theory Formal languages Computational complexity theory Descriptive complexity Model theory FO SO Free variables and bound variables Modal logic Logic Theoretical computer science Mathematical logic
90	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2009-01-29 20:45:42 P versus NP problem Computational complexity theory Descriptive complexity theory P Mathematical logic Second-order logic L Complexity Structural complexity theory Theoretical computer science Applied mathematics Complexity classes

UPDATE